Cichoń’s maximum without large cardinals

Cichoń’s diagram lists twelve cardinal characteristics (and the provable inequalities between them) associated with ideals of null sets, meager countable and $\sigma$-compact subsets irrationals. It is consistent that all entries are pairwise different (apart from $\operatorname{add}\mathcal{M}$ $\operatorname{cof}\mathcal{M}$, which provably equal to other entries). However, consistency proofs so far required large assumptions. In this work, we show without such